Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·11h
📞Session Types
Show HN: Debugg – 0-Config AI browser (E2E) tests that review every commit
debugg.ai·1d·
Discuss: Hacker News
🏠Homelab Pentesting
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·15h
🧮Theorem Proving
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·1d
⚡Proof Automation
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Product comparison: Detectify vs. Tenable
blog.detectify.com·11h
🎯Threat Hunting
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·5h·
Discuss: Hacker News
🎯Performance Proofs
🤖 AI as Your QA Pair Buddy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Operable Software
ferd.ca·6h·
Discuss: Hacker News
👁️System Observability
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Error'd: Yes We Have No Bananas
thedailywtf.com·12h
🔓Hacking
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
My BTL1 Review
infosecwriteups.com·8h
🔐Certificate Analysis
When AI Remembers Too Much – Persistent Behaviors in Agents’ Memory
unit42.paloaltonetworks.com·21h
🔲Cellular Automata
SigmaEval – statistical evaluation for GenAI apps
github.com·2d·
Discuss: Hacker News
📊Feed Optimization
Navigating the Vast AI Security Tools Landscape
optiv.com·21h
🎯Threat Hunting
Vibe-Coding vs. AI-Assisted Development
adaptivealchemist.com·7h·
Discuss: Hacker News
⚡Incremental Computation
Organize automated tests without getting eaten by your devs
octomind.dev·1d·
Discuss: Hacker News
❄️Nix Flakes
GPT-5 for AI-assisted discovery
johndcook.com·4h
🎯Performance Proofs